bitkeeper revision 1.751 (403ce3e1pBEv9Q629_q2HvL9RZ0ThA)

Merge labyrinth.cl.cam.ac.uk:/auto/groups/xeno/BK/xeno.bk
into labyrinth.cl.cam.ac.uk:/auto/homes/maw48/xeno-unstable-tbufs-new.bk

diff --cc BitKeeper/etc/logging_ok
index ec3e92e0bc7cffdbe6b0ca6c627c5683c6e554b1,ec3e92e0bc7cffdbe6b0ca6c627c5683c6e554b1..8c72c6121e17aa1435c908b36a479169451ca89d
--- 1/BitKeeper/etc/logging_ok
--- 2/BitKeeper/etc/logging_ok
+++ b/BitKeeper/etc/logging_ok
@@@ -21,6 -21,6 +21,7 @@@ kaf24@scramble.cl.cam.ac.u
  kaf24@striker.cl.cam.ac.uk
  laudney@eclipse.(none)
  lynx@idefix.cl.cam.ac.uk
++maw48@labyrinth.cl.cam.ac.uk
  mwilli2@equilibrium.research.intel-research.net
  rac61@labyrinth.cl.cam.ac.uk
  rgr22@boulderdash.cl.cam.ac.uk